- auxiliary logic
- мат.вспомогательная логика
English-Russian scientific dictionary. 2008.
auxiliary logic
Смотреть что такое "auxiliary logic" в других словарях:
LOGIC — (Heb. חָכְמַת הַדִּבּוּר or מְלֶאכֶת הַהִגַּיוֹן), the study of the principles governing correct reasoning and demonstration. The term logic, according to Maimonides, is used in three senses: to refer to the rational faculty, the intelligible in… … Encyclopedia of Judaism
logic — The science of reasoning, or of the operations of the understanding which are subservient to the estimation of evidence. The term includes both the process itself of proceeding from known truths to unknown, and all other intellectual operations,… … Black's law dictionary
logic — The science of reasoning, or of the operations of the understanding which are subservient to the estimation of evidence. The term includes both the process itself of proceeding from known truths to unknown, and all other intellectual operations,… … Black's law dictionary
Late medieval logic — Paul Vincent Spade I Medieval logic encompassed more than what we call logic today. It included semantics, philosophy of language, parts of physics, of philosophy of mind and of epistemology. Late medieval logic began around 1300 and lasted… … History of philosophy
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A … Wikipedia
Characteristica universalis — Universal characteristic redirects here. For the concept of the three universal characteristics in Buddhism, see Three marks of existence. The Latin term characteristica universalis, commonly interpreted as universal characteristic, or universal… … Wikipedia
computer science — computer scientist. the science that deals with the theory and methods of processing information in digital computers, the design of computer hardware and software, and the applications of computers. [1970 75] * * * Study of computers, their… … Universalium
Natural language — This article is about natural language in neuropsychology and linguistics. For natural language in computer systems, see Natural language processing. Neuropsychology … Wikipedia
